1. <A> Concise introduction to pure mathematics
پدیدآورنده : \ Martin Liebeck.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,منطق ریاضی ,ریاضیات
رده :
QA9
.
L478
2016
E-book
,
2. "A Little Out of Its Due Course":
پدیدآورنده : Kim, Boram Claire
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
3. A treatise on induction and probability
پدیدآورنده : By George Henrik Von Wright
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Logic. [from old catalog],Probabilities. [from old catalog]
4. A concise introduction to logic /
پدیدآورنده : Patrick J. Hurley.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.
رده :
BC108
.
H83
2006
5. A mathematical introduction to logic
پدیدآورنده : / Herbert B. Enderton
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
E-BOOK
6. A new paradigm of knowledge engineering by soft computing /
پدیدآورنده : editor, Liya Ding.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Expert systems (Computer science), Congresses.,Fuzzy systems, Congresses.,Soft computing, Congresses.,Informatique douce.,Systèmes experts (Informatique),Systèmes flous.,COMPUTERS-- Enterprise Applications-- Business Intelligence Tools.,COMPUTERS-- Intelligence (AI) & Semantics.,Expert systems (Computer science),Fuzzy systems.,Soft computing.
رده :
QA76
.
9
.
S63
N655
2001eb
7. A treatise on induction and probability
پدیدآورنده : Wright, G. H. von )Georg Henrik(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic,، Probabilities
رده :
BC
91
.
W72
8. A treatise on induction and probability /
پدیدآورنده : Geore Henrik von Wright.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic.,Probabilities.,Fundamentos E Calculo (Probabilidade),Logic.,PHILOSOPHY / Logic,Probabilidade (Textos Introdutorios),Probabilities.
رده :
BC91
9. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
10. Advancement of learning
پدیدآورنده :
کتابخانه: کتابخانه دانشکده روانشناسی و علوم تربیتی دانشگاه تهران (طهران)
موضوع : Science - Methodology - Early works to 1800,Induction (Logic) - Early works to 1800,Utopias - Early works to 1800
رده :
AC
,
1
,.
G72
,
vol
.,
30
,
1955
11. Advancement of learning; Novum organum; New Atlantis
پدیدآورنده : Bacon, Francis
کتابخانه: المکتبه المرکزیه لاکادمیه اللغه الفارسیه و آدابها (طهران)
موضوع : Methodology - Early works to 0081 ، Science,Early works to 0081 ، Induction )Logic(,Early works to 0081 ، Utopias
رده :
B
1190
.
A33
1952
12. Advancement of learning ; Novum organum ; New Atlantis
پدیدآورنده : By Francis Bacon
موضوع : Science-- Methodology,Utopias-- Early works to 1800,Induction (Logic)-- Early works to 1800
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
13. Advances in Artifical Intelligence :
پدیدآورنده : edited by Gordon McCalla.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1996
14. Advances in Computing, Communication, and Control :
پدیدآورنده : edited by Srija Unnikrishnan, Sunil Surve, Deepak Bhoir.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Computer software.
رده :
QA75
.
5
E358
2013
15. Advances in Intelligent Computing -- IPMU '94 :
پدیدآورنده : edited by Bernadette Bouchon-Meunier, Ronald R. Yager, Lotfi A. Zadeh.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer software.
16. Advances in artificial intelligence :
پدیدآورنده : Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
17. Advances in information systems science. Volume 3
پدیدآورنده : edited by Julius T. Tou.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Information science.,Information technology.
18. Al-Fārābī and Aristotelian syllogistics :
پدیدآورنده : by Joep Lameer.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Aristotle-- Influence.,Fārābī,al-Fārābī, 878-950,Aristote,(0384-0322 av. J.-C.)-- Influence.,Aristoteles, v384-v322,Aristoteles.,Aristotle.,Farābī, Abū-Naṣr Muḥammad Ibn-Muḥammad al-,Farābī, Abū-Naṣr Muḥammad Ibn-Muḥammad al-873-950,Farābī, Muḥammad ibn Muḥammad Abū Naṣr al-(0870?-0950),Fārābī.,al-,Philosophy, Arab-- Influence.,Syllogism.,filozófia-- arab,szillogizmus,Aristotelisme.,Influence (Literary, artistic, etc.),Philosophie arabe-- Influence.,Philosophy, Arab-- Influence.,Rezeption,Syllogism.,Syllogisme.,Syllogismen.,Syllogismus
رده :
B753
.
F34
L35
1994
19. Algebraic and logic programming :
پدیدآورنده : J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
